perm filename AMTT8.360[GF,SYS] blob sn#803472 filedate 1985-10-25 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T  EαAHBEλβ∀ eλβ∀  λ↓T  λ↓T0λα∀0λα∀0λα∀0⊂↓S`@⊂α∪`@⊂α∪`0_α∪`0_α∪`0 ↓S@@ α∪@@ α∪ADpε∪!dhα↓@Dhα↓@Dhα↓@DP∧↓↓∧P∧↓↓∧P∧↓↓∧("⊂B⊃⊂εh%βi!&↓P0&↓`(&↓p &↓p &↓p &↓`(&↓P(&β)@`&β)@ β↓	@ β↓	@ βA	@ βA	@ βA	@ βA	@ βA	@ β↓)@ αA)!%βi p"Qλ1⊂	Fβ0β@@4xεS!thβ@t`αA dXαA`TXαA`TXαα DPαB DPα∩@DPα∩@DPα∩@DPα∩@PHα∩`@Hα∩`P@α∩`P8αSP0α∪ `⊂β∪!Tx¬∀t("⊃α!_ε`%βI x&↓08&↓P(&↓`(&↓`(&↓p(&↓p(&↓↓ &↓↓ &↓↓ &↓↓ &↓↓ &↓↓ &↓p(&↓p(&↓p &↓`(&↓`(&↓P(&↓08%βi p%βλT "Db1@α$P	∩B$hα↓`Dhα↓`Dhα↓`Dhα↓`Dhα∪ @_α∪ @_α∪ @_α∪!4h¬S!4hα`Dhα`Dhα`Dhα∪ @@α∪ @@α∪ @@α∪ @@α∩B4P	RB4("⊃B1_ε↓_%∧i!_&A↓ &A↓ &A↓ &A↓ &A	P ↓A	P ↓A	P ↓A	PX&BiPX&A0 &A0 &A0 &A	P &A	P &A	 P%αI P"Qλq⊂	Fβ(β@ 4pε∪!T`β t`α@`dXαA TXα↓@TPαA`DPαA`DPα∩@DPα∩@DPα∩@@(∧R@@(∧R@P ∧R@P8α∩`@8α∩`P0α∪P αS`⊂β∪!Tpε∪a4("∩α!_ε@↓α	 @↓α	 @↓α	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@p&βI@p&↓` &↓` &↓` &↓` &↓` &↓` &↓` &↓` %α @%α @%α @"Q	⊂pλFβπ∩AdPπ∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`DPπ∩AdPπ⊃(DPλDc↓@βαjX(αj@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ %@`` %↓ P %↓ @(%↓@ 0%β)0X&BλT %DB1@p_βR@p_βR@p_βS00↓S0(↓S0(↓S0 ↓S0_↓S0_↓S0⊂↓S0λα∪↓∧`∧SPλ↓S@_↓S@_↓S0(↓S0(↓S00↓S00↓S08↓S08↓R@p βR@p βR@p βQ(D`	Dc↓@αI P%αIP &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A↓ &A↓ &A↓ &A↓ %∧i!_%∧hT &EαA@p0βR@p0βR@p0βS0λ↓↓ T`↓@  (@ 4`↓@   ↓ 4`↓@   ↓ 4`↓@ 0_↓ 4`↓@ 0_↓ 4`↓@@ _↓ 4`↓@@ _↓ 4`↓@@0⊂@@4`↓@@0⊂@@4`↓@@0λ↓@4`↓@` λ↓@4`↓@`P⊂↓S0_α@@4`↓@`P⊂↓S0_α`4`↓A0_↓S0 ↓@`4`↓B@4PβA@tPβA@tPβA@t("∪B!_ε0αAi 0αAi 0αAi@(βi@(βi@_@@P_&`⊂⊂α@i@_@@P_&` ⊂αi@_↓@@_&` ⊂αi@_↓@@0_&`0⊂↓@i@_↓@@0_&`@⊂↓i@_α@ _&`@⊂↓i@_α@@⊂_&`P⊂@i@_α@@⊂_&``(&``(%↓`P %↓`P %↓`P "Q	q	εβ_¬∪↓DXπ∩`P αR@P0αR@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@P0αR`P αRad`ε∪!$("∀α!⊂εx%∧	!λ&AP(&A`(&A`(&Ap &Ap &Ap &A`(&A`(&AP(&CIPh&C	P &A	P &A	P &A	P %αI P%αHT (Dα!ha$`ε∩adXαATPαA@TPααDPααDPααDPααDPααDPααDPααDPααDPααDPααDPααDPα`0⊂α∩@@_α DPα`@λα∩@@_∧R@P_∧∩`P⊂βRad`ε∪!5 αU E(αU@E0α⊃(E⊂	Eβ↓@β	 p%βi@ ↓AI@ αA)@ αA)@ β↓	@ β↓	@ αA)@ αA)@ ↓AI@h&β	@X&↓0(&↓@ &↓@(&↓P &↓P &↓P@&↓P@&↓P@%α0@%α@0%α@("Q
1	εβ ε∪↓dXπR``⊂βR@P0αR@@@α∩@@@α∩@P8α∩@TPβRa$`¬S!4x¬∀`tPα↓`TPα↓`TPααDPααDPαA@TPαA@TPβ@@dPπ∩ATPε⊃(E 
¬β↓@¬	! %¬	  α↓@ %↓@ α↓	  α↓@ %↓@ α↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  'BIpP'BHT *EαA@↓ ∧∩A ∧∩A ∧∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪P0αSP0αS P αS `⊂β∪ADx¬∀ d("∃BA ε@αα	 @αα	 @αα	P β↓	P β↓	P β↓	P β↓	` α@i` α↓	` α↓	` α↓	p_αip ↓@ip ↓@ip ↓↓	p ↓↓
_↓j @j @j @j⊂_@J⊂_@J⊂0(AJ⊂0"Q
q 
εββαdPβαdPβαdX↓A@  ↓S0 α@4`↓A@⊂↓S0 α@4`↓@`P⊂↓S0_α@@4`↓@` λ↓@4`↓@` λ↓@4h↓` λ↓@$h↓@@ λ↓ 4h↓@@ λ↓ 4h↓@ 0λ↓ 4h↓@ 0λ↓ 4h↓@ 0λ↓ 4h↓@ 0⊂@ 4p↓ 0⊂@ $p↓  _@ $p↓  _@ $p↓  _@ $pα@`Dpα@`Dpα@@T("⊗αA ε⊂@↓α	0@↓α	0@↓α	` α↓	p ↓↓	p ↓↓
@(α
⊂0(AJ  )↓
  (AJ⊂0(α
@'A  'A  '↓@ '↓@ &A` %α@@%α@@%α@@"Q⊃ 
εβ∧↓↓∧P∧↓↓∧P∧↓↓∧hα↓@Dpα↓Dpα↓Dpα@`Dxα`4xα@Eα 5α 5λ↓@ %λβ∀ e⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E∧∀↓¬∧⊃(EPλ∧C↓@Ci0x%Ci0 αA)0 αA)0 α↓)0 α↓* ()↓*⊂((A*('AIp('↓)`(&A)P(&↓ P &↓ P %A ` %A ` %∧	!%∧λT 0D"1λλ@`t`¬∩aDXα@@dXα@`T`↓A E α∪a∀h¬RaTP∧@DPαA DPα↓@DPα↓ TPα@`dXλ∩b∧hβ@ d("_B1_ε8%↓i 8&A	P &A	P &A⊂0&C)Pp&A` 0&A P(&A `(&Ap(&A↓ &A↓ &A↓ &A↓ &Ap(&A `(&A@@(&A` 0&CIPh&A⊂0"Q0xλD"⊂0βSA4hε∪`⊂αR`P αR@P0↓R@TPα∩@DPα∩@DPαR@TXαA@4`β`Dhε∪A5βQ(F 	Eβ↓@∧α
 @)α
` +↓
` +↓	pX&C)@p%A@00%A P(%↓ `(%↓ p %↓↓ %↓↓ %↓↓ %↓↓ %↓ p %↓ `(%A @0%A@ 8&∧)Q'A@⊂8"QQ	∧"⊂(βS!$`ε∩``⊂β∩`P αR@P0αR@P0αR@@@α∩B∧Pλ∩B∧PαR@TXαA@4Xβ↓D`εS!4x∧⊃(F0λ∧#↓@∧↓JP'Bip(A)p ↓↓)p ↓@ip %βi x%βip 'A	p 'A	p 'A	p 'A	p 'A	p 'A	 p%βI p"Qq⊂	FB⊂(β ThπSα∧XβA∀XαAtXα↓@DXα↓@DXα↓@DXαATXβ@d`ε∩aDX¬∩`DXεRat`πRb∀PαA`dPαBTPαα@DPαα@DPαBTXβ↓dXλ∪!Dx∧⊃(F@
¬β↓@↓i 8%↓iP &A	P &A	P AiPh&CIP8↓↓)P0↓A)P(αA	P β↓	P β↓	P β↓	P β↓	P β↓	P β↓	P β↓	P β↓	P β↓	 H↓α) H↓α) H↓α(T 4Cb⊃@↓@4xαS`TxαT48RA$P¬∩A%α∀Eα∀Eα∀Eα∀Eα∀Eα∀DPπRAtPπQ(FP¬CD⊃@β@j((↓*((@hpλ&α)@H&α*⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A	0_↓A	 (A) (A	 P%B	@0"Q
1_
εββ∩@dPβ∪ 4h↓S 4h↓S 0_¬∪ 0_¬∪ 0_¬∪ 0(↓S 0 ↓S 0_↓S 0⊂↓S 0λα∪!∧hα@ 4hα`4h↓A 4h↓A 4h↓A@4h↓A`4P∧@A∧P∧@A∧P∧@A∧("≠α↓⊂εP%αI P(↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓	!%∧	!"Q
Q(
D"⊂¬@TP	∩B4`α@ `λα∪@_α`4`α`@_↓S0 ↓A4`↓A0 ↓S0 ↓A4`↓A0 ↓S0 ↓A4`↓A0 ↓S0 ↓A4`↓A0 ↓S0 ↓A4Pβ@P⊂β∩@`⊂α@@dPβ@P⊂β⊃(Fp
¬α⊃λ↓`⊂8%∧	!λ&A` (&A@0(&A P &A` &A` &A` &A` &A` &A` &A` &A` &A` %α  H%α  H%α  H"Q
q	∧"⊂(β∪!$`ε∩``⊂β∩`P αR@P0αR@P0αR@@@α∩@@@α∩@@@α∩@@@α∩@P0αR@P0αR`P αR``⊂β∪↓Dh¬∪`d("≤α1_
∧ 8AI!%∧)P8↓↓IP(αA)P(β↓)P βA)P ∧↓	P ∧↓	P ∧↓	P ∧↓	P βA)P(β↓)P0α↓)P8↓↓IPp&C)P AIP &A	P &A	P &A	 P%αI P"Q∞⊃ 
FB⊂(β@ Dhπ∪↓tXβ@@tXαA dPαA`TPαBDPαα DPαα DPαα DPαα DPαA`TPαA`TXαA dXβ`t`πS!dxβ@ E8α∃`E8α∃`E8α∃`E ¬∃↓% ¬⊃(G⊂	∧b⊃λα 8%∧I!⊂'α⊂('↓@0('↓@@_'↓)`('↓	` '↓	` '↓	` '↓	 h%β) h"Q∞0x	∧"⊂_¬S↓DXεR@`⊂β∩@P(α∩@@0α∩@P(α∩A∧X¬S↓E∧R@@(β∩@@8α∩@@0αR@`_β∩AdPεRA4("≥α↓λ¬@@ '↓	` '↓	` %∧	!%∧	` '↓	` '↓	` '↓	` '↓P_'↓P_'↓P_'↓P_'↓ 0 'β	pP(αλT :EαAλλ@p_βR@p_βR@p_βS @0α∪ @0α∪ @0α∪ @0α∪ @0α∪ @0α∪ @0α∪ @0α∪ @0α∪ @0α∪ @(αS P_β∪"∀pλ∀↓d("≥B!_λD @↓α	 @↓α	 @↓α	P_βiP_βiP α@i`_αi`_αi`_αip_↓@Ip_↓ip_↓j_@J_@J_@J0(A
⊂ "Q∞q⊂	D"⊂β↓`TPβ↓`TPβ` ⊂αS0_α 4`↓@`@λ↓S0_α 4`↓@@Pλ↓S0⊂α@ 4`↓@@ λ↓ 4h↓@ λ↓ $h↓@ λ↓ $h↓@ λ↓ $h↓@ λ↓ $h↓@  λαS `λαS@@⊂α∪@@⊂α∪@@⊂α⊃(G@	∧b⊃λα @%α @%α @'`@_'@` _'@` _(↓J⊂ (A
⊂ (A
0'@` _'@` _'`@_%α @%α @%α @"Q∂⊃⊂	FB⊂∧A∧P∧A∧P∧A∧h↓A@4h↓A@4p↓A 4p↓A4p↓A4x↓@`4x↓@`%↓@5↓@ 5↓@ %λ↓ %λ↓ %λαT@5⊂↓T@5λ↓T 4`↓@@4X∧∩a∧XβR`d`α⊃(GPλDB⊃λD	1%D	0 αAI0 αA)0 α↓* 0(AJ0'AI`0&AIP(αA	@(β↓	00β↓	!λ%∧)!λ"Q↓⊂	εβ	∩B$P	∪ @8α∪ @8α∪ @8α∪ @8α∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ DP¬∩A$P¬⊃(@λ	∧c↓@β↓J0(↓J0'B	p@'B	`P'αI` ↓↓	` ↓↓	P(↓↓)P(↓↓)P α↓	@(α↓)@(α↓)@ β↓	0(β↓)0(β↓)0 ∧↓	0 ∧↓	 (∧↓)!⊂%∧I!⊂"Q!	εβ_¬∪↓DXπ∩`P αR@P0αR@@@α∩@@@α∩@@@α∩@@⊂α@DPα `λα∩@@λβ DPα `λα∩@@λβ DPα `λα∩@@λβ DPα `λα∩@@⊂α@DPααDPααDPααDPαA@TXαATXπ∪↓Dh¬⊃(@_	∧c⊃HβA
0(↓J0(@⊂_(@⊂_(@⊂_'@`⊂ '@`⊂ '@`⊂ '@`⊂ '@` _'↓  '↓  '↓  '`0 '`0 &A@ &A@ &A@ &A@ &A@ &A@ %α @%α @%α @"QA	εβλ∩B∧Pλ∩@@@α∩@@@α⊃`4Xα↓@DXα↓@DXπ∩adXπ∩`@0α∩`@0α⊃`4PααDPααDPλ∩B∧Pλ⊃(@(	∧c↓@∧I!⊂%∧I@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	@ β↓	 8α↓i 8α↓i 8α↓hT β∧B1@α$P	∩B$XαBDXαBD`αA`D`αA`DhαS TpαS@TxαS`TxαS@TpαS ThαSP8α∪P8α∩`P@α∩`P@α∩B$P	∩B$("↓b!_ε  β↓	00α↓I @↓α	 @↓α	  B⊂ %↓ 0↓↓	  ↓↓@  (↓J⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A	`P'αI`P"Q↓↓⊂	Fβ ¬∪A$p¬∀ Dx∧∪!D`π∩b∧Xα@ @λαR@P⊂α@TPα@@@⊂αR@@_α`DPα`@_α∩@@_α`DPα@@@⊂αR@P⊂α@TXα@ @λαRb∧`π∪!Dx∧∀ Dp¬∪A$p¬⊃(@Hλ∧C↓@↓BIPP&BJ %↓  ↓↓	  ↓↓  %↓ ⊂ A) (A⊂(%A⊂ A	0 A⊂ %A⊂ A	0 A⊂ %A⊂ A	0p%CI@`&β	@`&BI`@'AJ &BIPP&BHT ¬∧B1@↓!∧hε∪↓dXβ↓dPβ↓@dPαBTPαα@DPαα@DPαα@DPαα@DPαα@DPαBTPαBTXααDXααDXαA@TXαA@T`α↓@D`αAT`αATPβAtP∧A∧P∧A∧P∧A∧P∧A∧("α!_ε`0'αIP`&↓@ 0&↓ @(%A `(%A↓ %A↓ %↓!(%↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %↓!(%A↓ %A↓ %A `(&↓ @(&↓@ 0&C	`P(↓HT _CB!@↓ Dxα∪@Thβ∪tP∧RA∀P∧S`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∩AdPπ∩Ad("B↓⊂ε@@&αi0p%↓@00%↓ `(%↓ `(%↓ p %↓ p %@a *A*P(*↓*@()A* 0(AJ0'AI`0↓↓	P0↓A	@0α↓	0(β↓	!%∧	!"Qε1	εβ βS↓4XεR`P_β∩`P αR`P(α∪00α∃U α∀@dp∧SA∧p∧T`U(α∃ U0α∩`0@α∩@P8α∩@P0αR@P(β∩@`_β∩aT`¬S@t("
α!_ε↓  )A*0λ@j ⊂@j ⊂@j⊂⊂↓j_↓j⊂↓@ip_↓@i`_αi`_αiP_α@iP⊂βi@_βi0_β@i0_β@i!⊂%∧I!⊂*@jP_*@j⊂X(Bj⊂X"QεQ	εβλπ∩adXπ∩`DXα∩`DXα∩`DXα∩a4Xε∩aTXβ@dXαA TXα↓@U0α∩`0@α∩@P8α∩@P8α∩@P0αR@P(αR@`_β∩aT`¬S@t("
B!_εp8'BI``&A@ (&↓@0(%A@@(%A `_%A	 (Ai x%∧	 @↓AI 8αA) 0βA) 0βA) (∧A	 (∧A	 (∧A	0(βA)0(βA)@(αA)@0↓AIPh'αj8"Qεq	ε#⊂α∩B∧Pλ∩B∧Pα↓@TPα↓ TPα↓dPα↓UλαT Uλα∀UαTDxαS`Txα∪`DpαS@Tpα∪@Dpα∪@Dpα∪@D("∞α↓⊂ε@@&β	0p%↓` 8%↓ `(%↓↓ %↓↓ %↓↓ %A` %A @(&β	`@&BI0(α↓) (β↓)  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	 (β↓) 8↓↓i0p&β	`@"Qπ⊃⊂	Fβ(βS!4`εR``_β∩`P(αR@P8αR@P@α∩@@Hα∩@@HαR@@Pα∩@@Pα∩@P@αR@P@αR`P0β∩``_∧∪α∧hπS`pλα∃@Th↓A@T`αAT`α@@d`ε∪!$pβQ(B λ∧CaXβ@J (↓	`@&Bi0p%CI (A⊂(%↓  A)  ↓↓⊂(%↓ ⊂ A) (A _%αI0P&αiPX'BJP%@`  A) (A⊂(%↓ ⊂ ↓↓	 (A  %↓ ⊂ A) (A⊂(%CI0h&αi`@(↓
 (@HT ∪∧bA@↓ Dpβ∪!∧h∧∪ 0⊂↓S 0⊂↓S 0⊂↓S 0λε∪"∧hβ@!∧hβ↓DhαA 4hαAD`β↓DXβ@`DP∧@@DPα @λα∩@@⊂∧∩@@⊂βR@@_α@`4Pα@@P_↓R@Pλβ@ DXλRaλβS`_αQ(@xλ∧Cx∧j⊂((A*⊂()hp⊂(A
⊂ (A
⊂ (↓*('A)P0&↓I00%↓@`_%↓ `(%↓p(%↓@@0%Ci0p&BHT ∨Dα!@a$Xπ∩AtPβ↓dPαA`DPαA@TX↓A@e_β∀@eλβ∀TxαS`Txα∪`Dxα∪`D8↓∀4xαS`TxαT4("∧↓qλλD P%αI P(↓
 (↓
 (↓
 (↓
 (↓
 (↓
 %βi x%βhT λBaaPλ@A∀`∧S↓∃λα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ DX↓@`DPα@ TPα@ DP¬∩a∧`β⊃(AH	∧c↓@βα	``&CIP0↓↓IP β↓	P αA)P α↓I 8B	 8Ai 8AiP ↓AIP αA)P αA)P β↓)P β↓)P βA	P βA	P βA	P βA	P β↓)P β↓)P α↓I!%βi h"Qβ!⊂	D"⊂⊂β@TXπRb∧Xλ∩a0λαS0⊂α@@Eλα`Eλα`Dpπ∪α∧XλR@`λα∩@P⊂αR@@_α@@4Pα@ pλ↓RB∀Xλ∪`⊂β⊃(AX	∧b⊃λ↓A@  &βI1%D	0 ↓αi (↓↓@⊂ %↓@ ↓↓	  α↓  %↓@P%↓@P%↓@P%↓@ %↓  0%A 0@i0`@i1&βiP0↓↓(T ∞∧α!hC 58↓U@E0α∃ E(α∪a∀h¬S↓DXβ@dXα`tPα↓↓∧Pα`@λα∩@0 α@4P↓@`@_↓R@0_α`4P↓@@@ ↓R@@λα`DP∧↓DXβ@`DXβ@d`ε∪↓4`∧R`DXα∩@DPα∩@4P↓Q(BλαC#↓@@i (%↓) (%↓) (%↓) (%↓) (%A	0 %A	0 %A	0 %Aλp⊂%@i (%↓) (%@hT ⊃DB1@↓@  ↓∪`@⊂α∪`@⊂α∪`@⊂α∪`@⊂α∪`@⊂α∩b∧P	∩B$Xλ∪@@⊂α∪@@⊂α∪@@⊂α∪@@⊂α∪@@⊂α∩b∧P	∩B$Xλ∪ @⊂α∪ @⊂α∪ @⊂α∪ @⊂α∪ @⊂α∪@  ↓⊃(B(	∧caX↓↓p⊂%A@P %α@ %α0(%` _↓A	 _↓`0 %` _↓↓) _↓`  %α⊂(%α⊂ %A@  &↓ ()↓
  (A*⊂ (↓* (↓	p('A0 'A 0'↓ ⊂@'↓ @&A  _↓iP ↓@` _&A0_↓i@(↓B	@ αα	@ αAIP⊂βAλT ∪AA`P DPβ∩@dPβ∩`Th↓SDXαR@TPα∩@4("
↓!λ∂ε`p_(↓	p('↓)P(&↓)@ %A)0 %A	 (%↓)  %↓	  %↓	  %↓	  %↓) (%A	0 %A)@ &↓)P('↓)p((↓
⊂_"Q¬⊂PεGC0↓R@DPαR`T`αS Tpα∪@Txα∪`DxαS`Uα∀Eα∀Eα∀Eα∪`TxαS`Dxα∪@Tpα∪ T`αR`TPαR@DP↓Q(BPπ∧"↓(βj_(j⊂%`0⊂↓@i  ↓@  %↓ ⊂⊂A)@P'A	p &αI (@@⊂(%↓ ⊂↓↓	 _↓@@0_(j_(hT ∃Dα!
↓`%α∀Eα∀Eα∩adPλ∩B∧Xπ∀Eα∀Eα∀Eα∀ $("Ph∧↓⊂_%↓) (%↓)0 %A	 (%↓	 _"Q¬`(εA@λ↓R@TPαR@TX↓Q(Bxλ∧CaXε@J` +↓
P(*A
@(*↓
0()A
 ()↓
  (A*⊂ (↓* 'A)p '↓)` '↓	P(&A	@(&↓	0(%A	 (%↓	  %@HT ≥↓!Qλλ@ 4PαR@TPαR`48βR`4PαR@TPαR`4("∞`Ph
D ⊂_%↓) (%↓)0_#Ai0_%↓) (%↓)0 %A	 (%↓	 _"Q↓`(εF↓pλ↓R@TPαR@TX↓Q`$Xα∩`DXα∩`DXα∩`DXα∩@TPαR@TPαR@TPαR@TPαR@TX↓Q(Ch	∧a!λD	!⊂%∧I1#@I1%∧I!⊂%DλT  ∧α!@↓@dp¬∪!Dhα@@T`αA∧Xα@!∀Xα!$X↓@@@λαR@@λα`DPα @_α∩@0⊂↓A 4P↓@@0(↓R@0⊂↓A 4P↓@@0(↓R@0⊂↓A 4Pα @_α∩@@λα`DX↓@@@λα∩`@λ∧R`PλβS@⊂∧∪ P_αS!Tp¬Tt("⊗a1_∂ε`X%αi X%↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	 X%αi X"QPXεπC0¬RA4P¬T Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ DP¬RA4P¬Q(Fββ!!P↓@i@ %A) (%↓	 _%↓) 0%↓I 0%AλT 	α!P0 $PαR@tXβStpαT$("∧a⊃βε`⊂'↓)@8%Ai 8%↓)0⊂"Qα@pλA"`α↓@DPβ@dPπ∪↓$h∧∪`D("¬!aλβε_∧i _∧i  β↓	 0↓↓I0`&αI`0"Qα`pλ@B`π∩AdPπ⊃(A8ββ Q@↓I ⊂↓I λα) λα) ⊂↓I@⊂"Qβ@πB@ ⊂α∪D`α∪T`β∪ Tpα∪dP∧∩@tPαQ(Epε∧Q@α↓	P0%BI `%β	  α↓λT ?βB⊂ @P ↓Raλα∩AdPα!∧P↓AT("∨aAαε⊂_αi (↓↓) (↓↓) (↓↓)0_αhT ∞EαA@↓!dxπ∪aeβ@@Eβ@@Eβ@@Eβ@@Dx∧∪a4x¬Sa4x¬S@@λβS@@λβS@@λβS@@λβSADh¬∪! _α∪ @⊂α`Dhα@@_α∪ @⊂α`DPβ@!DPβ@!DPβ@!D("πB1 ε0x%D)1λ%↓ 0 ↓↓	 (↓A  %↓@ ↓↓	  α↓  %↓@ %↓@8%↓@8%↓@8%↓@8%↓@8%↓@8%↓@8%↓@8%↓@8%↓@ %↓@ ↓A	  α↓0 %↓ 0 ↓A	 (↓A0 %DI1⊂&DλT ∂Dα!p
B@5 ↓U4h¬∪↓DXπ∩`P_β∩@P_∧∩@@ ∧∩@@ ↓@ DPα↓0λα∩@@_α DPα`@λα∩@@_↓@@DPα@@⊂α∩@@⊂α@DPα@0_α∩@@⊂↓@`DPα @_α∩@@λα`DPα 0 α∩A α∩A α∩@p αR``_αRad`ε∪!$`α∪D`↓Q(Bhπ∧ 0pC	 p%βI0`"Q↓A	εβ8↓∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀DPα@@⊂α∩B∧Pλ∩adh¬∪A∧xβ∀Eα⊃(@Xλ∧C↓@β↓
 'AI`@&BI0p%∧	!%↓  ↓↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (@HT ≡∧α!_β %(αUe⊂βT txβS@t`βR`tPβ∩@dXβStpβS`uλβT@u β∃ U8↓⊃(Cpλ∧B10@I (%↓I08&↓i`8'Aj⊂8)↓j@0*↓J 8(Aip8'↓i@8%Ai 0%↓)0⊂"QA	πC0λ↓∩@DPα∩@TXα∩`T`α∪Thα∪ Tpα∪@DpαS`DxαTEαT EλαT@E⊂α∀@U_α∀`U α∃U(α∃ U0α∃@E8↓⊃(GXλ∧CaX¬A* @(B*@(↓* (↓
 (↓
 (↓
 'A)@@%α) @%α)@@'A* (↓
 (↓
 (↓
 (↓*@(B* @*A(T >Dα!p
@TP∧∩A∀`∧∪`Uα∀Eα∀Eα∀Eα∀U∧∀!∃⊂∧∀!∃∧∀Uα∀Eα∀Eα∀Eα∪`T`∧∩A∀P∧∩@T("∨@`∂ε`⊂⊂%↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	0⊂"P`↔␈␈x␈␈`@∧←␈x␈␈∨␈x␈␈`⊂p%∧	!%CHT ⊃βB⊂` 00↓R@P αR@P αR@P αR@P αR@P αR@P αR@P αR`00↓R`00↓R`00↓R`00↓R`00↓Q(@hαC!A@@i (%↓) (%↓) (%↓) (%@i0_%@i0_%@hT ⊂∧B0p∧@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓RB$P	∩B$(|α <⊂⊗↓(≡@OX≤OX≤
␈␈␈x{@
⎇H⊃(αf0α_{⊂BP∧→L`∩O0!E @3→@;>d 
@↓ε03λ =HQ(αf0→x{⊃BP∧→L`>O0#E @3→@↓⊂>d@
@↓ε03⊂L=I⊃(αf0/h{∩BP∧→L`fo0%E @3→@↓]}d`
@↓ε03_o=IQ(αf0Ax{∪BP∧→L`↓_O0'E @3→@αS>e
@↓ε03(V=J⊃(αf0←8{∀BP∧→L`↓Lo0)E @3→@β1>e 
@↓ε038=JQ(αf0ux{∃BP∧→L`↓xO0+E @3→@∧
>e@
@↓ε03@j=K⊃(αf0↓∩H{⊗BP∧→L`α//00E @3→@∧p}f⊂
@↓ε03P=L1(αf0↓%({→αP∧→L`αQ/02E @3→@¬7>f0
@↓ε03X=Lq(αf0↓5({~αP∧→L`αuo04E @3→@ε↓}fP
@↓ε03`∨=M1(αf0↓Hh{≠αP∧→L`β≥∂06E @3→@εH>fp
@↓ε03hE=Mq(αf0↓]({≤αP∧→L`βC∂08E @3→@π≤>g⊂
@↓ε03pe=N1(αf0↓oh{≥αP∧→L`βg∂0:E @3→@π]}g0
@↓ε03x`=Nq(αf0αH{≡αP∧→L`∧∂/0<E @3→@λ/>gP
@↓ε03↓λ
=@↓(αf0α∃λ{"P∧→L`∧2/0↓¬ @3→@λy>`_
@↓ε03↓⊂+=@A(αf0α+h{↓"P∧→L`∧←/0β¬ @3→@	W}`8
@↓ε03↓_T=A↓(αf0α?({α"P∧→L`¬
/0¬¬ @3→@
+}c
@↓ε03↓(
=F⊃(αf0αW_{BP∧→L`¬5O0→E @3→@
}>c 
@↓ε03↓0"=FQ(αf0αiH{
BP∧→L`¬\O0≠E @3→@O>c@
@↓ε03↓8@=G⊃(αf0α⎇H{	αP∧→L`εε/0∪¬ @3→@(}`x
@↓ε03↓H¬=Gq(αf0β∀8{∧αP∧→L`ε0O0λE @3→@k}aH
@↓ε03↓Hy=C!(αf0β%λ{εbP∧→L`εRo0∞¬ @3→@
8}bλ
@↓ε03↓X%=D1(αf0β7x{	"P∧→L`ε{/0∪E @3→@∞⊗}b@
@↓ε03↓`<=E⊃(αf0βKh{
BP∧→L`π /0∃E @3→@∞P}b`
@↓ε03↓h6=Ea(αf0βX({bP∧→L`π2o0≥¬ @3→@∞v}cX
@↓ε03↓h|=Aa(αf0βah{∂"P∧→L`πJ/0 ¬ @3→@∂~}eX
@↓ε03↓pp=KQ(αf0βr({_αP∧→L`πm/0	¬ @3→@∂a}a_
@↓ε03↓xN=BA(αf0β{λ{¬"P∧→L`πy∂0¬ @3→@∂y>a8
@↓ε03↓xy=C↓(αf0∧h{↔BP∧→L`λ¬/0?¬ @3→@⊂∂}gx
@↓ε03α,=CQ(αf0∧π_{πBP∧→L`λ~∂0∂E @3→@⊂O}bh
@↓ε03αλa=AA(αf0∧≥λ{αbP∧→L`λAo0≡¬ @3→@⊃∩}cp
@↓ε03α⊂==KA(αf0∧*H{≡bP∧→L`λ]o0>E @3→@⊃L}g`
@↓ε03α_<=Kq(αf0∧;h{λBP∧→L`λ{␈0εE @3→@∩ε↑b
@↓ε03α ≥} ∩≡⊂=xow{⎇x